Hibert's tenth problem

[计] 希尔伯特第十问题